inspector: Fix huge listbox rows

This is handled by .rich-list

diff --git a/gtk/inspector/general.c b/gtk/inspector/general.c
index ab368e2f8da058a1bcd8eac98e78d95c0a378f64..87c91504dc33b576b61ed1895aeec8e82d109028 100644 (file)
--- a/gtk/inspector/general.c
+++ b/gtk/inspector/general.c
@@ -171,12 +171,7 @@ add_check_row (GtkInspectorGeneral *gen,
   GtkWidget *row, *box, *label, *check;
 
   box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 40);
-  g_object_set (box,
-                "margin-start", 10 + indent,
-                "margin-end", 10,
-                "margin-top", 10,
-                "margin-bottom", 10,
-                NULL);
+  g_object_set (box, "margin-start", indent, NULL);
 
   label = gtk_label_new (name);
   gtk_widget_set_halign (label, GTK_ALIGN_START);
@@ -213,12 +208,7 @@ add_label_row (GtkInspectorGeneral *gen,
   GtkWidget *row;
 
   box = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 40);
-  g_object_set (box,
-                "margin-start", 10 + indent,
-                "margin-end", 10,
-                "margin-top", 10,
-                "margin-bottom", 10,
-                NULL);
+  g_object_set (box, "margin-start", indent, NULL);
 
   label = gtk_label_new (name);
   gtk_widget_set_halign (label, GTK_ALIGN_START);
@@ -572,6 +562,7 @@ populate_monitor (gpointer item,
   const char *model;
 
   list = GTK_LIST_BOX (gtk_list_box_new ());
+  gtk_widget_add_css_class (GTK_WIDGET (list), "rich-list");
   gtk_list_box_set_selection_mode (list, GTK_SELECTION_NONE);
 
   /* XXX: add monitor # here when porting to listview */ 

diff --git a/gtk/inspector/general.ui b/gtk/inspector/general.ui
index d2b6f00f75a2b0a712cbcddfd2187bdc568defa0..86cda44b824f12cfc613f3246d77e8a6c0e39912 100644 (file)
--- a/gtk/inspector/general.ui
+++ b/gtk/inspector/general.ui
@@ -26,10 +26,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gtk_version_label">
@@ -56,10 +52,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gdk_backend_label">
@@ -86,10 +78,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gsk_renderer_label">
@@ -116,10 +104,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="pango_fontmap_label">
@@ -146,10 +130,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="media_backend_label">
@@ -189,10 +169,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="prefix_label">
@@ -220,10 +196,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="xdg_data_home_label">
@@ -251,10 +223,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="xdg_data_dirs_label">
@@ -282,10 +250,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gtk_path_label">
@@ -313,10 +277,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gtk_exe_prefix_label">
@@ -344,10 +304,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gtk_data_prefix_label">
@@ -375,10 +331,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gsettings_schema_dir_label">
@@ -419,10 +371,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="display_label">
@@ -450,10 +398,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="display_rgba_label">
@@ -480,10 +424,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="display_composited_label">
@@ -536,10 +476,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gl_version_label">
@@ -567,10 +503,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="gl_vendor_label">
@@ -611,10 +543,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="vk_device_label">
@@ -642,10 +570,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="vk_api_version_label">
@@ -673,10 +597,6 @@
                         <property name="activatable">0</property>
                         <child>
                           <object class="GtkBox">
-                            <property name="margin-start">10</property>
-                            <property name="margin-end">10</property>
-                            <property name="margin-top">10</property>
-                            <property name="margin-bottom">10</property>
                             <property name="spacing">40</property>
                             <child>
                               <object class="GtkLabel" id="vk_driver_version_label">

diff --git a/gtk/inspector/visual.ui b/gtk/inspector/visual.ui
index 3a0454753699352d5f28810bb1ea60fe8274e426..7400edc46f0cd82f686966630673be05450f6051 100644 (file)
--- a/gtk/inspector/visual.ui
+++ b/gtk/inspector/visual.ui
@@ -53,10 +53,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="theme_label">
@@ -81,10 +77,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="dark_label">
@@ -110,10 +102,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="cursor_label">
@@ -139,10 +127,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="cursor_size_label">
@@ -172,10 +156,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="icon_label">
@@ -201,10 +181,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="font_label">
@@ -230,10 +206,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">20</property>
                                 <child>
                                   <object class="GtkLabel" id="font_scale_label">
@@ -271,10 +243,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="direction_label">
@@ -309,10 +277,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="hidpi_label">
@@ -339,10 +303,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="animation_label">
@@ -368,10 +328,6 @@
                             <property name="activatable">0</property>
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">20</property>
                                 <child>
                                   <object class="GtkLabel" id="slowdown_label">
@@ -422,10 +378,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="fps_label">
@@ -451,10 +403,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="updates_label">
@@ -480,10 +428,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="fallback_label">
@@ -509,10 +453,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="baselines_label">
@@ -538,10 +478,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="layout_label">
@@ -567,10 +503,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="focus_label">
@@ -610,10 +542,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="touchscreen_label">
@@ -638,10 +566,6 @@
                           <object class="GtkListBoxRow">
                             <child>
                               <object class="GtkBox">
-                                <property name="margin-start">10</property>
-                                <property name="margin-end">10</property>
-                                <property name="margin-top">10</property>
-                                <property name="margin-bottom">10</property>
                                 <property name="spacing">40</property>
                                 <child>
                                   <object class="GtkLabel" id="software_gl_label">